(declare-const v0 Bool)
(declare-const v4 Bool)
(declare-const v5 Bool)
(declare-const i7 Int)
(declare-const v7 Bool)
(assert (or v4 v5 v4 v7 (>= 19 i7) v7 v0 v7 v0))
(check-sat)
(declare-const v8 Bool)
(assert (or v4 v5 v4 v7 (>= 19 i7) v7 v0 v7 v0))
(check-sat)
